cuqmbr/cdm-utils
1
0
Fork 0
Code Issues Pull Requests Activity

truth tables

Browse Source
This commit is contained in:
cuqmbr 2021-12-03 16:19:06 +02:00
parent fad7e9eb9a
commit 8b42387219
2 changed files with 84 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Boolean-Algebra/index.html
View File

@ -51,6 +51,9 @@
<input class="button" type="button" id="calculate" value="Evaluate" onclick="Evaluate()" /> <input class="button" type="button" id="calculate" value="Evaluate" onclick="Evaluate()" />
<input class="button" type="button" id="calculate" value="Step by step" onclick="StepByStep()" /> <input class="button" type="button" id="calculate" value="Step by step" onclick="StepByStep()" />
</div> </div>
<div class="buttons">
<input class="button" type="button" id="calculate" value="Build a Truth Table" onclick="BuildTruthTable()" />
</div>
<div class="wrap-result"> <div class="wrap-result">
<div class="input-wrap"> <div class="input-wrap">
<h1 class="text">Result </h1> <h1 class="text">Result </h1>
@ -92,6 +95,16 @@
</div> </div>
</div> </div>
</div> </div>
<div class="wrapper hide" id="truthTableNode">
<div class="step-by-step" id="truthTableWrapper">
<h1>Truth Table</h1>
<div class="input-wrap" id="input-wrap">
<h1 class="text">1.</h1>
<div class="input"><input type="result" id="step1" readonly/></div>
</div>
</div>
</div>
</div> </div>
<!-- -----------------------------------JS---------------------------- --> <!-- -----------------------------------JS---------------------------- -->

109
Boolean-Algebra/script.js
View File

@ -82,6 +82,9 @@ function Evaluate() {
resultField.value = readableResult; resultField.value = readableResult;
let truthTableNode = document.querySelector('#truthTableNode');
truthTableNode.classList.add('hide');
let stepsNode = document.querySelector('#stepsNode'); let stepsNode = document.querySelector('#stepsNode');
let stepsWrapper = document.querySelector('#stepsWrapper'); let stepsWrapper = document.querySelector('#stepsWrapper');
@ -121,6 +124,7 @@ function StepByStep() {
} }
function Negation(value) { function Negation(value) {
if (value != undefined) { return !value; } if (value != undefined) { return !value; }
@ -155,10 +159,7 @@ function Equivalence(firstValue, secondValue) {
function ConvertCharArrayToRPNArray(chars, row = 0) {
function ConvertCharArrayToRPNArray(chars) {
let _values_stack = new Array(); let _values_stack = new Array();
let _actions_stack = new Array(); let _actions_stack = new Array();
@ -166,7 +167,10 @@ function ConvertCharArrayToRPNArray(chars) {
for (let i = 0; i < chars.length; i++) { for (let i = 0; i < chars.length; i++) {
const element = chars[i]; const element = chars[i];
if (VALUES.has(element)) { if (TTVALUESNAMES.has(element)) {
_values_stack.push(GetValueFromRow(element, row));
} else if (VALUES.has(element)) {
_values_stack.push(element); _values_stack.push(element);
} else if (OPERATORS.has(element)) { } else if (OPERATORS.has(element)) {
@ -419,28 +423,16 @@ function StepByStepRPNFormula(RPNArray) {
} }
let TTVALUESNAMES = new Set();
let TTVALUESCONTENTS = new Array();
function BuildTruthTable() {
let formulaField = document.getElementById('formula')
function InputFormulaFotTruthTable() { formulaField.value.match(/[A-Z]/g).forEach (element => {
let _formulaString = prompt('>>> ');
if (_formulaString.search('[!,*,+,>,=]') == -1) {
Error('The programm cant solve given formula. Do you typed everything right?');
}
if (_formulaString.match(/[a-z]/g) != null) {
_formulaString.match(/[a-z]/g).forEach (element => {
TTVALUESNAMES.add(element); TTVALUESNAMES.add(element);
}) })
} else {
Error('The programm cant solve given formula. Do you typed everything right?');
}
TTVALUESNAMES.forEach(element => { TTVALUESNAMES.forEach(element => {
TTVALUESCONTENTS.push([element]); TTVALUESCONTENTS.push([element]);
@ -448,11 +440,9 @@ function InputFormulaFotTruthTable() {
let _numColumns = TTVALUESNAMES.size; let _numColumns = TTVALUESNAMES.size;
let _numRows = Math.pow(2, _numColumns); let _numRows = Math.pow(2, _numColumns);
let _rowsContent = new Array(); let _rowsContent = new Array();
for (let r = 0; r < _numRows; r++) { for (let r = 0; r < _numRows; r++) {
@ -475,12 +465,12 @@ function InputFormulaFotTruthTable() {
for (let r = 0; r < _numRows; r++) { for (let r = 0; r < _numRows; r++) {
if (_zeros) { if (_zeros) {
_rowsContent[r][c] = false; _rowsContent[r][c] = 0;
TTVALUESCONTENTS[c].push(false); TTVALUESCONTENTS[c].push(false);
} }
if (!_zeros) { if (!_zeros) {
_rowsContent[r][c] = true; _rowsContent[r][c] = 1;
TTVALUESCONTENTS[c].push(true); TTVALUESCONTENTS[c].push(true);
} }
@ -492,45 +482,82 @@ function InputFormulaFotTruthTable() {
// console.log(_rowsContent); // console.log(_rowsContent);
// console.log(TTVALUESCONTENTS); // console.log(TTVALUESCONTENTS);
// console.log(TTVALUESNAMES);
let _formulaCharArray = formulaField.value.split('');
let _formulaCharArray = ConvertFormulaToCharArray(_formulaString);
let _result = new Array(); let _result = new Array();
for (let i = 0; i < _numRows; i++) { for (let i = 0; i < _numRows; i++) {
let _formula_RPN_Array = ConvertCharArrayToRPNArray(_formulaCharArray, i + 1); let _formula_RPN_Array = ConvertCharArrayToRPNArray(_formulaCharArray, i + 1);
_result.push(SolveRPNFormula(_formula_RPN_Array)); _result.push(SolveRPNFormula(_formula_RPN_Array));
} }
// console.log(_result);
_result.forEach(element => {
if (element == undefined) { ttformula = formulaField.value;
Error('The programm cant solve given formula. Do you typed everything right?');
}
});
ttformula = _formulaString;
numRows = _numRows; numRows = _numRows;
rowsContent = _rowsContent; rowsContent = _rowsContent;
truthTable = _result; truthTable = _result;
// console.log(_result);
let stepsNode = document.querySelector('#stepsNode');
stepsNode.classList.add('hide');
let truthTableNode = document.querySelector('#truthTableNode');
let truthTableWrapper = document.querySelector('#truthTableWrapper');
truthTableNode.classList.remove('hide');
truthTableWrapper.querySelectorAll('#input-wrap').forEach((element) => {
element.remove();
});
let valueNames = new Array();
TTVALUESNAMES.forEach(element => { valueNames.push(element) });
truthTableWrapper.insertAdjacentHTML('beforeend', ` <div class="input-wrap" id="input-wrap">
<h1 class="text"></h1>
<div class="input"><input type="result" id="step1" value="${valueNames.join(' ')} : Result" readonly/></div>
</div>`);
console.log('');
for (let r = 0; r < _numRows; r++) { for (let r = 0; r < _numRows; r++) {
console.log(` ${_rowsContent[r].join(', ')} : ${_result[r]}`); let values = '';
for (let i = 0; i < _rowsContent[r].length; i++) {
values += _rowsContent[r][i] + ' ';
}
truthTableWrapper.insertAdjacentHTML('beforeend', ` <div class="input-wrap" id="input-wrap">
<h1 class="text"></h1>
<div class="input"><input type="result" id="step1" value="${values}: ${convertToReadableResult(_result[r][0])}" readonly/></div>
</div>`);
// console.log(` ${_rowsContent[r].join(', ')} : ${_result[r][1][0]}`);
} }
console.log('');
ClearTruthTableData(); ClearTruthTableData();
ReturnToMenu();
} }
function GetValueFromRow(valueIndex, row) {
for (let i = 0; i < TTVALUESCONTENTS.length; i++) {
const element = TTVALUESCONTENTS[i];
if (element[0] == valueIndex) {
return element[row];
}
}
}
function ClearTruthTableData() {
TTVALUESNAMES.clear();
TTVALUESCONTENTS = new Array();
}
const OPERATORS = new Set(['!', '*', '+', '>', '=']); const OPERATORS = new Set(['!', '*', '+', '>', '=']);