|
#############################################################################
##
#W ste_realizability.gd Victor Bovdi <vbovdi@gmail.com>
#W Vasyl Laver <vasyllaver@uzhnu.edu.ua>
##
##
#Y Copyright (C) 2018, UAE University, UAE
##
#############################################################################
##
## This file contains some methods for determination of a single threshold element
## realizability of Boolean functions.
##
#############################################################################
DeclareOperation("BooleanFunctionBySTE", [IsObject]);
DeclareOperation("PDBooleanFunctionBySTE", [IsString]);
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
|
