sek1ro/lab
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

movs: monotone fix

Browse Source
This commit is contained in:
SEK1RO
2026-01-11 17:57:21 +03:00
parent e8a49c7e9e
commit 7853800437
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
circuit/25-1/basis.html
View File

@ -24,14 +24,15 @@
<div id="app"></div>
<script>
const app = document.getElementById('app')
const func_names = ['константа 0', 'и', 'левая коимпликация', 'X', 'правая коимпликация', 'Y', 'исключающее или', 'или', 'стрелка пирса', 'эквивалентность', 'не Y', 'правая импликация', 'не X', 'левая импликация', 'штрих шеффера', 'константа 1']
const func_names = ['константа 0', 'и', 'левая коимпликация', 'экв. x', 'правая коимпликация', 'экв. y', 'исключающее или', 'или', 'стрелка пирса', 'эквивалентность', 'не y', 'правая импликация', 'не x', 'левая импликация', 'штрих шеффера', 'константа 1']
const func_syms = ['0', 'x∧y', 'x↛y', 'x', 'x↚y', 'y', 'x⊕y', 'x∨y', 'x↓y', 'x=y', '¬y', 'x←y', '¬x', 'x→y', 'x|y', '1']
function getTerm(num) {
return [num >> 3, num >> 2 & 1, num >> 1 & 1, num & 1]
}
function getName(num) {
return 'F' + num + ' - ' + func_names[num]
return func_syms[num] + ' (' + func_names[num] + ')'
}
function isT0(num) {
@ -51,7 +52,7 @@
function isM(num) {
const term = getTerm(num)
return term[0] <= term[1] && term[1] <= term[2] && term[2] <= term[3]
return term[0] <= term[1] && term[0] <= term[2] && term[1] <= term[3] && term[2] <= term[3]
}
function isS(num) {
@ -69,7 +70,7 @@
bitclasses.push(0)
const tr = document.createElement('tr')
const td = document.createElement('td')
td.innerHTML = getName(i)
td.innerHTML = 'F' + i + ' : ' + getName(i)
td.style.textAlign = 'left'
tr.appendChild(td)