From 78538004372730bf338e8c2cc584831423f90822 Mon Sep 17 00:00:00 2001
From: SEK1RO <vlad@sek1.ro>
Date: Sun, 11 Jan 2026 17:57:21 +0300
Subject: [PATCH] movs: monotone fix

---
 circuit/25-1/basis.html | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/circuit/25-1/basis.html b/circuit/25-1/basis.html
index 86094b9..7ff9fb2 100644
--- a/circuit/25-1/basis.html
+++ b/circuit/25-1/basis.html
@@ -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)